Expand, enlarge and check... made efficientGEERAERTS, Gilles; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2005, pp 394-407, issn 0302-9743, isbn 3-540-27231-3, 14 p.Conference Paper

Modeling and verifying systems using a logic of Counter arithmetic with Lambda Expressions and Uninterpreted FunctionsBRYANT, Randal E; LAHIRI, Shuvendu K; SESHIA, Sanjit A et al.Lecture notes in computer science. 2002, pp 78-92, issn 0302-9743, isbn 3-540-43997-8, 15 p.Conference Paper

Effective lossy queue languagesAZIZ ABDULLA, Parosh; BOASSON, Luc; BOUAJJANI, Ahmed et al.Lecture notes in computer science. 2001, pp 639-651, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Stochastic consensus over noisy networks with Markovian and arbitrary switchesMINYI HUANG; DEY, Subhrakanti; NAIR, Girish N et al.Automatica (Oxford). 2010, Vol 46, Num 10, pp 1571-1583, issn 0005-1098, 13 p.Article

Rateless codes with unequal error protection propertyRAHNAVARD, Nazanin; VELLAMBI, Badri N; FEKRI, Faramarz et al.IEEE transactions on information theory. 2007, Vol 53, Num 4, pp 1521-1532, issn 0018-9448, 12 p.Article

Simulating perfect channels with probabilistic lossy channelsABDULLA, Parosh; BAIER, Christel; PURUSHOTHAMAN IYER, S et al.Information and computation (Print). 2005, Vol 197, Num 1-2, pp 22-40, issn 0890-5401, 19 p.Article

Computing the expected accumulated reward and gain for a subclass of infinite Markov chainsBRAZDIL, Tomas; KUCERA, Antonin.Lecture notes in computer science. 2005, pp 372-383, issn 0302-9743, isbn 3-540-30495-9, 1Vol, 12 p.Conference Paper

The verification of probabilistic lossy channel systemsSCHNOEBELEN, Philippe.Lecture notes in computer science. 2004, pp 445-465, issn 0302-9743, isbn 3-540-22265-0, 21 p.Conference Paper

An Adaptive Partial FCS Scheme to Enable the Corruption-aware Transport Protocols over IP Networks for Fourth Generation Wireless CommunicationsLIN CUI; JINGJI JIN; XIN CUI et al.Wireless personal communications. 2013, Vol 68, Num 3, pp 843-859, issn 0929-6212, 17 p.Article

Determination of hub port attenuation satisfying radio link path losses for hardware emulationBISWAS, Moyuresh; FRATER, Michael R; RYAN, Michael et al.Simulation (San Diego, Calif.). 2011, Vol 87, Num 6, pp 499-511, issn 0037-5497, 13 p.Article

Feedback-based adaptive video streaming over lossy channelsKIM, Jong-Ok; TODE, Hideki; MURAKAMI, Koso et al.IEICE transactions on communications. 2004, Vol 87, Num 10, pp 3076-3084, issn 0916-8516, 9 p.Article

On verifying fair lossy channel systemsMASSON, Benoit; SCHNOEBELEN, Ph.Lecture notes in computer science. 2002, pp 543-555, issn 0302-9743, isbn 3-540-44040-2, 13 p.Conference Paper

Comments on Input-to-state stability of hybrid systems with receding horizon control in the presence of packet dropouts [Automatica 48 (2012) 1920-1923]HU CHUNHE.Automatica (Oxford). 2014, Vol 50, Num 9, issn 0005-1098, p. 2428Article

Experimental demonstration of high throughput, ultra-low delay variation packet/circuit fusion networkVEISLLARI, R; BJORNSTAD, S; HJELME, D. R et al.Electronics letters. 2013, Vol 49, Num 2, pp 141-143, issn 0013-5194, 3 p.Article

On-the-Fly Erasure Coding for Real-Time Video ApplicationsTOURNOUX, Pierre Ugo; LOCHIN, Emmanuel; LACAN, Jérôme et al.IEEE transactions on multimedia. 2011, Vol 13, Num 4, pp 797-812, issn 1520-9210, 16 p.Article

Stabilisation of quantised linear systems with packet dropoutYAN, J; XIA, Y; LIU, B et al.IET control theory & applications (Print). 2011, Vol 5, Num 8, pp 982-989, issn 1751-8644, 8 p.Article

Multimedia synchronization for handoff control with MPEG in all-IP mobile networksLEE, Gi-Sung; KIM, Hong-Jin; HWANG, Il-Sun et al.Lecture notes in computer science. 2004, pp 618-625, issn 0302-9743, isbn 3-540-23388-1, 8 p.Conference Paper

Video multicast over lossy channels based on distributed source codingMAJUMDAR, Abhik; RAMCHANDRAN, Kannan.International Conference on Image Processing. 2004, isbn 0-7803-8554-3, 5Vol, Vol5, 3093-3096Conference Paper

Scalable Video Multicast Using Expanding Window Fountain CodesVUKOBRATOVIC, Dejan; STANKOVIC, Vladimir; SEJDINOVIC, Dino et al.IEEE transactions on multimedia. 2009, Vol 11, Num 6, pp 1094-1104, issn 1520-9210, 11 p.Article

Equalization and clock and data recovery techniques for 10-gb/s CMOS serial-link receiversGONDI, Srikanth; RAZAVI, Behzad.IEEE journal of solid-state circuits. 2007, Vol 42, Num 9, pp 1999-2011, issn 0018-9200, 13 p.Article

A novel network mobility management scheme supporting seamless handover for high-speed trainsLEE, Cheng-Wei; MENG CHANG CHEN; SUN, Yeali S et al.Computer communications. 2014, Vol 37, pp 53-63, issn 0140-3664, 11 p.Article

Ambient noise in wireless mesh networks: Evaluation and proposal of an adaptive algorithm to mitigate link removalFRIGINAL, Jesús; RUIZ, Juan-Carlos; DE ANDRES, David et al.Journal of network and computer applications. 2014, Vol 41, pp 505-516, issn 1084-8045, 12 p.Article

Dimensioning of dual leaky bucket parameters for regulating voice sourcesDAIGLE, J. N; FEMMINELLA, M; REALI, G et al.Electronics letters. 2013, Vol 49, Num 12, pp 756-758, issn 0013-5194, 3 p.Article

Stability of networked control systems with packet dropout: an average dwell time approachSUN, Y; QIN, S.IET control theory & applications (Print). 2011, Vol 5, Num 1, pp 47-53, issn 1751-8644, 7 p.Article

Immediate data authentication for multicast in resource constrained networkWONG, C. K; CHAN, Agnes.Lecture notes in computer science. 2005, pp 113-121, issn 0302-9743, isbn 3-540-26547-3, 9 p.Conference Paper